English translation for "predicate transformer"

谓词变换程序

Related Translations:

predicated:  断言的断定的

predicate:  n.1.【语法】谓语，述语。2.【逻辑学】谓项，述项，述词，宾词。3.本质；属性。adj.谓语的，述语的；谓项的，述项的。vt.1.论断，断言；断定…为某物的属性；断定某物有…的属性 (about; of)。2.〔美国〕使(声明、行动等)依据于 (on; upon), 使基于。3.宣言，宣布，声明。4.意味着，具有…的含义。5.【语法】表述。vi.断言 (of)。 Can

predicates:  谓词

predicate noun:  谓语性名词

diophantine predicate:  刁番图谓词

analytic predicate:  解析谓词

actional predicate:  动作谓语

predicate calculu:  谓词演算

compound predicate:  复合谓语

factive predicate:  叙述性谓词

Example Sentences:

1.

Topological semantics of predicate transformers 谓词转换器的拓扑语义

Similar Words：

"predicate of first order" English translation, "predicate of n variable n" English translation, "predicate offence" English translation, "predicate on" English translation, "predicate symbol" English translation, "predicate upon" English translation, "predicate variable" English translation, "predicate-argument structure" English translation, "predicate-lowering" English translation, "predicatecalculus" English translation